- функтор предложения
- sentential functor мат.
Русско-английский научно-технический словарь Масловского. 2015.
Русско-английский научно-технический словарь Масловского. 2015.
ВЫСКАЗЫВАНИЕ — грамматически правильное повествовательное предложение, взятое вместе с выражаемым им смыслом. В логике употребляется несколько понятий В., существенно различающихся между собой. Прежде всего это понятие дескриптивного, или о п и с а тельного,… … Философская энциклопедия
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ — СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Т. Фреге и… … Философская энциклопедия
семантические категории — СЕМАНТИЧЕСКИЕ КАТЕГОРИИ типы значений выражений языка. Учение о С. к. восходит к Э. Гуссерлю (Bedeutungskategorien, категории значения). Наиболее интенсивную разработку это учение получило в польск. школе логики. К учению о С. к. очень… … Энциклопедия эпистемологии и философии науки
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ – — теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Г.Фреге и особенно к Э.Гуссерлю… … Философская энциклопедия
ГОМОЛОГИИ ТЕОРИЯ — топологических пространств часть алгебраич. топологии, осуществляющая связь между топологич. н алгебраич. понятиями: приводя в соответствие каждому пространству определенную последовательность групп, а непрерывному отображению пространств… … Математическая энциклопедия
КАТЕГОРИЯ — понятие, выделяющее ряд алгебраич. свойств совокупностей морфизмов однотипных математич. объектов (множеств, топологич. пространств, групп и т. п.) друг в друга при условии, что эти совокупности содержат тождественные отображения и замкнуты… … Математическая энциклопедия